Yeet Z3

[fuzzypixelz]

Version 0.1 of absolut depends on Z3 to solve for byte tables.

1. When using the z3 crate (and by extension the z3-sys crate) the Z3 library will have to be system-installed (thus the user will need to fiddle with package managers) or vendored (resulting in long compile times) as a git submodule; neither option is ideal for a procedural macro.

2. Aside from dependency management, using an SMT solver makes it quite hard to reason about failure to solve for a table.