v0.1.58: Enhance SymTools with bug report integration (#75)
- Added a `bug_report` parameter to the `default` method for better error reporting. - Updated the `kprove` method to utilize the new `bug_report` feature. - Refactored the `explore` method to use `cterm_symbolic` with bug report support. This improves the debugging capabilities of the symbolic execution tools. --------- Co-authored-by: devops <[email protected]>