In general, behavior should remain the same and this is not a breaking
change.
There are some minor changes to the API:
- checkify.ErrorCategory has changed type: it's no longer an Enum, but
the JaxException type. These have not been exposed as part of the
public API.
- some attributes on Error have changed and made private
- The raised error has changed type (JaxRuntimeError), and will have a
different traceback (pointing to the origin of the error + where the
error value was raised).
- `checkify.check` now supports formating error message with variable
size runtime info!
Co-authored-by: Sharad Vikram <sharad.vikram@gmail.com>
