Support constraints / assignments

This completes support for the remaining constraint and assignment
forms, and updates the tests accordingly.

pkg/binfile/computation.go

@@ -102,6 +102,8 @@ func addInterleavedComputation(c *jsonInterleavedComputation, index uint,
 		// Update the column type
 		dst_type = sc.Join(dst_type, src_col.Type())
 	}
+	// Update multiplier
+	ctx = ctx.Multiply(uint(len(sources)))
 	// Finally, add the sorted permutation assignment
 	schema.AddAssignment(assignment.NewInterleaving(ctx, dst_hnd.column, sources, dst_type))
 	// Update allocation information.

pkg/cmd/check.go

@@ -136,7 +136,7 @@ func checkTrace(ir string, cols []tr.RawColumn, schema sc.Schema, cfg checkConfi
 	for n := cfg.padding.Left; n <= cfg.padding.Right; n++ {
 		stats := util.NewPerfStats()
 		trace, errs := builder.Padding(n).Build(cols)
-
+		// Log cost of expansion
 		stats.Log("Expanding trace columns")
 		// Report any errors
 		reportErrors(cfg.strict, ir, errs)