Reset state when a transition fails
Update after each transition instead of at the end.

Updating the state /after/ the entire transition creates invalid
receipts.
Added missing types
Method for checking contract addresses
Fixed call
Removed log