use Z.eqb_eq instead of Z.eqb_compare, fold Zeq_bool (for coq/coq#19801)

use Z.eqb_eq instead of Z.eqb_compare, fold Zeq_bool (for coq/coq#19801) #71