Sampling-based Falsification and Verification of Controllers for Continuous Dynamic Systems