Feature request: anti-laziness features for testsolvers

[vEnhance]

Proposal:

• Prevent giving up on a testsolve early.
• Prevent testsolving multiple problems at once.

We have an issue with people who just want to look at the problems but don't actually want to put in the effort to testsolve them which is ruining the feedback system.