Faster spice manager tests.