Issue: Simplify Range Checker with LogUp Multiset Check

Issue: Simplify Range Checker with LogUp Multiset Check: a task in LegoFlow-SWE (Harbor dataset). The main columns should hold: - a column of values to be range-checked (16‑bit integers, 0 to 65535) - a column of the corresponding multiplicities (how many times each value is checked)