WIP: Fix #54

Created by: suehtamacv

I discussed with Zaruba the reasons behind #54 (closed).

The bug was triggered by a store followed by a load that triggered the eviction of the corresponding line (without saving its contents to memory). To solve this, the store FSM checks whether its index matches the load index. If they match, the store is treated as if it has missed on the cache.

I am unsure of the performance implications, or if the regression tests still pass.