Put in (very hacky, very buggy) sim sampling & review to help track down solution verification failures.
Basically, when solution verification fails, we forward the problem instance back to the user oracle, who can then scroll through sampled states (kinda) using "<" and ">" keys