- lower the AIR degree to 4 (73f9e0a0) #143
- remove the `padded_height` from the `Claim` (4be177eb) #201
- include `Claim` in Fiat-Shamir heuristic (c786c915)
- add native interface for proving `Claim`s (4f2f02ff) #201
- derive `padded_height` from `Proof` (0d6c1811) #201
- derive `BFieldCodec` where possible (dc528c41)
- remove `TestItem`, test using actual `ProofItem`s instead (54afb081)
- remove field `Uncast` from `ProofItem` (27461b10)
- remove trait `MayBeUncast` (27461b10)