Integrate account state assertion in accumulation tests

[clearloop]

The spec of accumulation is located in chapter 12. Accumulation of graypaper

1. we have already implemented the accumulation logic in runtime::tx::guarantee
2. for the tracing tests, it's located in testing::accumulate

What we currently missed?

Since the accumulation was missed the post-state of accounts, we didn't have assertion about account state

1. the test cases of accumulation could be found in stf::accumulate
2. we are processing test vectors with specjam
3. see also the discussion about the fix jam-test-vectors#52
4. a logging trace for process-one-immediate-report which would be helpful integrating matched test from the test vectors