Add soundness test.
Hoa\Regex is required.
Check soundness of other samplers.