Some fixes to GC order in Java.
Add option to avoid dumping partial models/proofs.
Minor changes to script.  Disable cbqi sat.
Fix personal.mk for some make targets.
Fixes for --inst-max-level
Improve --dt-stc-ind for multi-variable datatype properties.