Property Testing AI: An Efficient Frontier