Adaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits