Remove opam dep `qcheck'. Regen OASIS.