Function stop_exploring 

pub fn stop_exploring()

Tells loom to stop exploring possible concurrent executions starting at this point.

Exploration can be enabled again with explore.