Temporarily remove test (#87)

rems-project/cerberus#602 fixes a bug in the
solver which changes the behaviour of this test, so I'm deleting it so
that the CI passes (to re-add it later once the PR is merged).