Remove `proofState` from `InteractionState`.

Woot! I never really understood this. Feeling much better about code
maintenance now.