[Bug 1839886] Review Request: python-claripy - An abstraction layer for constraint solvers