Extend nomination monte carlo simulations to analyze timeouts

Closes #4561

This change adds a couple more tests to the nomination tests for the
following scenarios:
1. Asymmetric quorums
2. Unresponsive validators

It also removes some protocol gating in the test suite that's no longer
necessary now that P22 is the current protocol in the build.