Add property-based tests for Agent Loop

- Add Hypothesis-based property tests for agent loop
- Test reasoning cycle invariants
- Test context management properties
- Test tool selection properties
- Test state management invariants
- Verify invariants for random scenarios

Closes #537

Author: Auto Merge Bot