Refactor: no coupling between dispute kit and sortition (WIP)

[jaybuidl]

PR-Codex overview

This PR updates the arbitration system by renaming the draw function to drawOne for clarity and adds a new isJurorSolvent function for checking juror solvency.

Detailed summary

• Renamed draw function to drawOne in IDisputeKit.sol, KlerosCoreBase.sol, KlerosCoreUniversity.sol, DisputeKitClassic.sol, and DisputeKitSybilResistant.sol
• Added isJurorSolvent function in KlerosCoreBase.sol, KlerosCoreUniversity.sol, DisputeKitClassic.sol, and DisputeKitSybilResistant.sol

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}