prove terms are ACONV iff their de Bruijn reps are equal

as a sanity check