I'm late to this thread, but have you reviewed quick check from erlang?
quviq.com/products/erlang-qu…
The scope is different, but one of the things it does wonderfully is to reduce test cases into the least one that produce the behavior.
youtu.be/AfaNEebCDos
6/10 overdose deaths (192/day) are caused by opiods. 191mil opiod RXs dispensed in 2017. Drug collection sites will accept any unused meds Sat, Oct 26 (10a-2p) g.co/drugdisposal
I'm happy to share this dot with you. Your troubles are part of your journey, sorry to say... But your journey is epic and inspiring and worth it. I'm happy my own journey gets to interweave with yours a bit.