port most things away from dec_agree

1 job for master in 8 minutes and 11 seconds (queued for 8 minutes and 3 seconds)
Status Job ID Name Coverage
  Test
passed #1813
iris_atomic-coq8.5.3

00:08:11