When we call activate we ignore whatever the current default is, so this test case is not strictly necessary. I would be okay with removing it whether or not we change ```deactivate_osrandom_engine()``` to ```activate_builtin_random()```