* JNA to JNI migration (#69)

* Initial native part fix

* Timeouts

* check exception handling

* better timeout handling

* enable ipo

* Fix default array value handling

* Jni bindings

* Fix Native documentation

* Enum wrappers

* Remove dummy test

* Fix timeout test

* Fix detekt issues

* Rework unsupported theories for Bitwuzla

* Support quantifiers in bitwuzla

* Fix nested quantifiers conversion

* Small fixes

* Better Bitwuzla bv bits api

* New API based converter

* New API based internalizer

* Update docs

* axioms

* fix bigInt to bits

* fix bigInt to bits

* Fix fp64 conversion

* Use KSMT based model evaluation

* Better model evaluator for partial functions

* Fix bv bit utils

* Better handling of as-array expressions in model evaluator

* Fix bit utils

* Better doc for bits

* Fix as-array rewrite loops

* Special test data-source for Bitwuzla model conversion

* Fix detekt issues

* Ensure bitwuzla ctx is active

* Skip Z3 fma failures

* Skip fp max/min with +/- 0

* Fix Z3 fma test issues

* minor change

* fix vars management

* Move comment

* Use unsat assumptions instead of core

* Support for uninterpreted sorts

* Rework declaration scoping

* Better tests parametrization

* Fix model detach

* Use adapter for uninterpreted sort conversion

* Fix pointer formatting

---------

Co-authored-by: Dmitry Karagodin <32226272+DKARAGODIN@users.noreply.github.com>