Hi I'm currently implementing a symbolic execution engine for EVM in Rust. Though my current implementation is just a translation of hevm, I would like to add some novel features. For example, I'm considering using A* search or multi-armed bandit to enhance scalability. Any kind of feedback, ideas, and requests are super welcome!!!