feat(formal): verify + wire Rows.v (P-11 record-row soundness) (#648)

feat(formal): verify + wire Rows.v (P-11 record-row soundness) (#648) #635