Add store tests
Implement store subsumption, add a test case
Handle gc-after parameter in non-parallel CESK
Use subsumption to compute equality between states
Move pcounter2 to pcounter-seq