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 Job ID Name Coverage
  Build
passed #93261
au
coq:8.8

00:03:16

passed #93262
au
coq:8.9

00:03:10

passed #93263
au
coq:dev

00:03:50