Add a setup method in TestFramework to catch setup errors

[dannywillems]

          It's not the proving that fails, it's the setup. You'll need to update your test, and perhaps the framework to have a `setup_err` helper

Originally posted by @mrmr1993 in https://github.com/o1-labs/proof-systems/pull/1454#discussion_r1418062942