[recursion] refactor with static inline

[hero78119]

Opcode	Metric	Before (cycles)	After (cycles)	Cycle reduction
ADDI	Verify tower proof	30,914	30,205	2.29%
ADDI	Verify chip proof	38,497	37,397	2.86%
Ecall_Keccak	Verify tower proof	150,883	79,103	47.56%
Ecall_Keccak	Verify chip proof	562,418	452,429	19.56%