Change these to use assert. If they don't work yet, make the tests XFAIL.