Fix cross-entropy tests and leakage issue

[dfremont]

Description

The tests for the interface with VerifAI's cross-entropy sampler keep failing occasionally since I chose the parameters poorly. This PR improves the tests in various ways and should ensure the false positive rate is extremely low. In the process I noticed an issue whereby the distribution of one sampling run would leak into the next (even after calling resetExternalSampler), so I've fixed that and added an assertion catching it.

Issue Link

n/a

Checklist

• I have tested the changes locally via pytest and/or other means
• I have added or updated relevant documentation
• I have autoformatted the code with black and isort
• I have added test cases (if applicable)

Additional Notes

[codecov]

Codecov Report

Attention: Patch coverage is 96.15385% with 2 lines in your changes are missing coverage. Please review.

Project coverage is 86.12%. Comparing base (9ba90a3) to head (2a2569f).

Files	Patch %	Lines
tests/syntax/test_verifai_samplers.py	96.07%	2 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #259      +/-   ##
==========================================
- Coverage   86.16%   86.12%   -0.05%     
==========================================
  Files         144      144              
  Lines       25012    25039      +27     
==========================================
+ Hits        21552    21564      +12     
- Misses       3460     3475      +15     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[Eric-Vin]

A little over my head but nothing jumped out as wrong!