Add -no-verify-emitted-module-interface (#114)

Add -no-verify-emitted-module-interface (#114) #378