move only_mmio_satisfying to bedrock2 #451

Job	Run time
docker-master	1h 41m 26s
publish-standalone-dry-run	16s
test-standalone (master, dev, default)	1m 2s
build-js-of-ocaml (master, 4.11.1)	13m 59s
build-wasm-of-ocaml (master, 4.14.1)	14m 13s
generated-files (master)	27m 6s
standalone-haskell (master)	53m 59s
test-amd64	2h 20m 57s
validate-docker-master	1m 16s
deploy-js-wasm-of-ocaml	34s
docker-check-all	5s
	5h 54m 53s

Provide feedback