Implement default BFVCircuitParametersU64: Stores necessary information to succinctly describe parameters of a BFV FHE circuit