Towards Rigorous Fairness: Formal Verification of Multi-Level Arbitration through Hierarchical Family Chains