Support for more custom symbolic functions (like `bit_count`)

[anurudhp]

https://github.com/quantumlib/Qualtran/pull/1355#discussion_r1735030330

Cost of HammingWeightCompute depends on bit_count, and in this particular case, to upper bound the cost we need a lower bound on the bit_count. Currently returns 1 in the symbolic case.