Support caching in all goals

[saraedum]

and in particular in a Boshernitzan conjecture goal so we can restart survey runs.