Function compact_matches_reference 

pub fn compact_matches_reference<W: Word>(x: W, m: W) -> bool

compact agrees with the per-bit definition.