This reverts commit 552b3edb3afeeeb90fd2fa1a60337b538a6f59b7.

Some users with deprecated build environments were having trouble
installing miniKanren v1.0.4 from sdist. The v1.0.5 release now
includes a wheel, so this constraint is no longer necessary or
desirable.

* Fix core_dims_needed calculation
* Handle lazy dtype
* Nicer __str__ with use of `name`

Also allow arbitrary expression dimensionality

Some users with outdated setuptools in their build environments are failing
to build miniKanren from source. A wheel will hopefully arrive shortly for v1.0.5,
solving the problem. For now we can work around it by avoiding v1.0.4.
Note that conda doesn't have this problem, because Conda packages are
pre-compiled.

* Use lapack func instead of `scipy.linalg.cholesky`

* Now skips 2D checks in perform
* Updated the default arguments for `check_finite` to false to match documentation
* Add benchmark test case

* Refactor out _cholesky helper, add empty test

* Remove array and `potrf` copies

* Update test_cholesky_raises_on_nan_input

* Add jax dispatch for CholeskySolve

* Better typehints on user-facing `cho_solve`

* Rename test

* Created some tests that fail due to #1476

* Fixes 1476 and other ways to create a log1mexp

* Reimplemented logmexpm1_to_log1mexp by tracking expm1 and then looking through the clients

* Absorbed the rewrite log1pexp_to_softplus into the new rewrite for log1mexp

* Fixed bug where I forgot to check whether result of is_neg was None or not before proceeding

---------
Co-authored-by: Luca Citi <lciti@ieee.org>

* Avoid pytest warning for variable name

* Respect core type shape in gradient of Blockwise

* Refactor Blockwise L_op