Efficient Tests for an Autoregressive Unit Root