High-dimensional Expansion of Product Codes is Stronger than Robust and Agreement Testability