Fixed a bug where findNecessaryBitwidth did not account for cardinalities
Merge branch 'WarningFixes' into NameResolver