Using spin_assert in the tests