add cfg verifier ensuring 1 cfop per block and only 1 user for each mode_X node