Several optimization improvements, mainly for `begin_borrow`, `load` and `load_borrow`
atInstruction
atArgument
require