Merge pull request #2045 from mit-plv/revert-2043-from-bytes-asm-tests #983

Job	Run time
install (8.20.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...	1h 34m 8s
install (dev, macOS, macos-latest, 4.14.2)	40m 23s
install (8.20.0, Ubuntu, ubuntu-latest, 4.09.1)	39m 19s
install (dev, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml/oc...	1h 31m 23s
install (8.20.0, macOS, macos-latest, 4.14.2)	44m 32s
install (dev, Ubuntu, ubuntu-latest, 4.09.1)	40m 46s
install (8.18.0, Ubuntu, ubuntu-latest, 4.09.1)	45m 29s
install (8.19.0, macOS, macos-latest, 4.14.2)	49m 19s
install (8.18.0, macOS, macos-latest, 4.14.2)	43m 4s
install (8.19.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...	1h 35m 49s
install (8.18.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...	1h 46m 17s
install (8.19.0, Ubuntu, ubuntu-latest, 4.09.1)	41m 21s
	12h 11m 50s

Provide feedback