feat: add fast circuit for unsigned multiplication overflow detection fastUmulOverflow_eq and surrounding definitions #35276