“The $5B allocation attached to [ObamaCare’s] High Risk Pool initiative appears to represents a number dictated more by political feasibility than a fair assessment of true program cost.”