These can be re-enabled when the assertion failures in the backend are
fixed, which does not need to block this branch.