car-verify 0.57.2

Static plan verification for Agent IR
Documentation