SERVER-12328 fix bad verifies in cached plan runner