Implement parameter generation of "Approximate Homomorphic Encryption with Reduced Approximation Error"

[Approximate Homomorphic Encryption with Reduced Approximation Error](https://ia.cr/2020/1118) introduced a way to reduce the rescaling error in CKKS via special parameter generation process.

This is somewhat related to #1169 but worth a separate issue for TODO tracking.

* [ ] Introduce the modulus selection algorithm in `generate-param-ckks`
* [ ] Modify scaling factor in LWE type to support high-precision scaling factor tracking, as we currently only tracks logScale (int) for CKKS for the ease of implementation in #1459