Release 0.4.1
CHANGES:
** Features
- Reworked Backward Bounded Symbolic Execution
(together with some [documentation](doc/bbsse/))
** Misc
- Support native OCaml
[bitwuzla binding](https://github.com/bitwuzla/ocaml-bitwuzla)
** Bug
- Fix an issue with 64-bit kernel virtual addresses