Consider not using zkapp_command_logic

[L-as]

It's horribly complex, albeit I haven't found any bugs in it yet.

It also has much lower throughput than possible for account updates without proofs.
For account updates with proofs of course we can't really raise the throughput without a lot of unpractical work.

We could feasibly cover most zkapp commands in a single proof (given that we can verify 2 proofs recursively at a time).

[L-as]

We could allow the user to wrap up zkapp proofs in exchange for lower fees.
You could accumulate pending zkapp verifications into a merkle tree (or similar) and then verify only one recursive proof for the whole thing.