Verify bb_num_executions canaries