Manually track prover history

Prover history is now taken care of manually to avoid adding the current proof
state to the IState record, while still having completion for assumptions.