Weight Stationary Dataflow Verification