Python: Invariants In __post_init__

Measure first, change the real bottleneck, and keep the simpler design when the evidence does not justify extra complexity.

Measured tradeoffs beat folklore. Connect the idea to a realistic coding decision so recall is easier when solving similar questions.