Move contract states into environment

Remove it from the contract's perspective for now.
3 jobs for master in 7 minutes and 1 second (queued for 1 second)
Status Name Job ID Coverage
  Build
passed coq:8.8 #93261
au

00:03:16

passed coq:8.9 #93262
au

00:03:10

passed coq:dev #93263
au

00:03:50