disable BDD validation when optimisation is enabled

BDD validation consumes a lot of memory, so disabling it can help when
solving larger problems. Eventually, this test will be disabled
altogether by default, after sufficient testing of this library.