feat: Backport inlining opimizations for verifiers from dev

[popzxc]

Backports #197 from dev

Important note!!! The following verifiers have changed:

        modified:   tools/verifier/base_layer_with_output.bin
        modified:   tools/verifier/final_recursion_layer_with_output.bin
        modified:   tools/verifier/recursion_layer_no_delegation_with_output.bin
        modified:   tools/verifier/recursion_layer_with_output.bin
        modified:   tools/verifier/recursion_log_23_layer_with_output.bin
        modified:   tools/verifier/universal.bin
        modified:   tools/verifier/universal_no_delegation.bin

Most likely the only reason why they changed is because they're built with panic_output instead of panic_immediate_abort; the evidence is that remaining ones have not changed.
Not sure if it makes it safe to merge.