finalize before replaying transactions
added verbosity to replay test
dump state helper
rm obsolete test
formatting