Revise state model for prover actor

[jeromebanks]

Fix retry/abort logic by fixing state models for actor ...
allow for discovery/persistence of state upon startup
( in order to implement recoverabiliyt