♻️ Refactor

- (!) Use `Polynomial` in FRI proof item (7367c677)

✅ Testing

- Verify FRI failure for too-high degree polys (262b048e)