improve changelog.
- New methods to convert IEEE bitvectors to floats and vice versa.
- Improved handling of exceptions
- New method for evaluating formulas with an existing model
+ - New utility methods for escaping and unescaping symbol names to avoid SMT keywords.
### Improvements and Fixes
- Improve instantiation procedure of Z3 and Princess
