is_p2sh: only if the hash is pushed with PUSH_N.
is_minimal: a single 0x00 byte is not OP_0.
Finally: all script tests passing.

check_p2sh: no need to use walk_script (an IF is not a PUSH).
verifying_machine_p2sh.eval_script: call the parent class version.