The seventh match on the WrestleMania card has been made official on WWE.COM, with WrestleMania veteran Randy Orton taking on the Phenomenal AJ Styles. The two had an in-ring segment during Smackdo…