Testing strategies for the Igloo Insurance platform including Property-Based Testing with Hypothesis. Use when writing tests for calculation engines, verifying financial invariants (payout never exceeds 100%), testing concurrent control mechanisms (Redis locks, DB locks), or validating timezone-sensitive logic. Covers pytest-asyncio patterns and edge case discovery.