Proto/Michelson: Reduce even further the number of args to enable tailcall optimization on Apple M1
This MR reduces the number of arguments of some functions in the interpreter to make sure that tailcall optimization is enabled on Apple M1. Empirical tests seem to show that we need less than 7 arguments for that.