add type/footprint assert in Compiler::storeLocal
remove redundant Compiler::storeLocal footprint parameter
make asserts in loadLocal and storeLocal more strict