Trading off proving time for reduced fees and protocol complexity

The main reasons why we have complex fees is because our proofs are not secure in a cryptographic sense and we secure them with rational games (which requires these fees).

Since we have a massive improvement in proof costs (either via supranational or via testudo), we could increase the prover costs to completely remove the need for some of the fees.

Potential fees that can be removed from our analysis (note fees can remain for non-security reasons, e.g. for Storage Market SLA)