prove-all

Prove a change with every musthold module that is installed, in the order discriminating power, alignment, completeness, answering each module's requests as its fulfil skill gives. Use before finishing a change to code, tests or specs, and when Shallnot reports awaiting_host, awaiting_proof or awaiting_host_judgment.