Here's a scenario that should be tested:

1. Imagine an origin with n blocks
2. We fork from block m < n
3. The storage of a contract state is changed at m+1 < n
4. We assert that calling the contract in the fork with block_id = latest (or pending) returns the same as origin at m (and not at m+1)

Make sure this isn't already tested in test_fork.rs