car-verify 0.61.2

Static plan verification for Agent IR
Documentation