Text this: Accelerating Grover Adaptive Search: Qubit and Gate Count Reduction Strategies With Higher Order Formulations