Valuation-like maps and the congruence subgroup property