As confidence grows—backed by audits, formal verification, and bug bounties—the gas limit could be raised to a point that makes proof checking the default.