Kill dependency of `base_logic` on `proofmode` to speed up compilation.

6 jobs for gen_proofmode in 15 minutes and 13 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #8877
fp
build-coq.8.7.1

00:04:06

passed #8876
fp-timing
build-coq.8.7.2

00:03:28

passed #8875
fp
build-coq.dev

00:11:45

failed #8827
fp
build-coq.8.7.1

01:32:32

failed #8826
fp-timing
build-coq.8.7.2

01:32:37

failed #8825
fp
build-coq.dev

01:32:35