refactor: Generalize quotient segment computation

In particular, the memory-vs-compute-time trade-off can now be tuned via
constant `EVALUATION_DOMAIN_SIZE_REDUCTION`, which is hardcoded for now.