Extend pairing group interface to introduce and expose `loop_count_num_bits` to fasten miller loops

[Antoine Rondelet]

Note: The right tradeoffs need to be taken when adding more constants and trying to optimize the loops because iterating over the exact number of bits in the binary representation of a scalar/integer will produce leakages that may benefit side channel adversaries.