Checked.Assert
val equal : Impl.Bitstring_checked.t -> Impl.Bitstring_checked.t -> unit Impl.Checked.t