remove redundant return_ type parameter
add type assert in load, fix ensuing problems
remove redundant load srcType parameter
remove redundant f2f aType parameter
add type assert in f2i & i2f
remove redundant f2i & i2f aType parameter
add type asserts in Compiler::truncate
remove redundant Compiler::truncate srcType parameter
add type assert in Compiler::store, fix ensuing problems
remove redundant Compiler::store srcType parameter