Sai/batch recursive verifier #1589

Closed sai-deng closed 4 months ago