Efficient Black-box Assessment of Autonomous Vehicle Safety