car-verify 0.57.4

Static plan verification for Agent IR
Documentation