GitLab

added uint_eq ghost function; use to prove that integer representations can be used to prove byte-for-byte equalities (if necessary at some point)

removed any dependency on alt-ergo < 2.0.0