Add example for 128-bits field element range check

[DoHoonKim8]

This example is for range check inside the circuit for 128-bits field element which does not require dividing into limbs. If the benchmark result is promising, then we should consider testing zkevm-circuits to this backend.

This requires:

• Define SubtableStrategy for 128-bits range table
• Write simple range check circuit
• Use Lasso as lookup argument
• Benchmark with some examples
  • naive halo2 lookup
  • halo2-cq (but this uses univariate IOP which is slightly outside of comparison scope)
  • LogUp+GKR in plonkish