Provably and Practically Efficient Adversarial Imitation Learning with General Function Approximation