"""
Verification execution module.

This module contains:
- crosshair: CrossHair symbolic execution
- hypothesis: Hypothesis property testing fallback
- cache: Verification result caching
- accept: Accept mechanism for known violations
"""
