integration tests work; the new api is confusing and will cause issues

adjust_heights_heap.go

@@ -7,7 +7,7 @@ import (
 
 func newAdjustHeightsHeap(maxHeightAllowed int) *adjustHeightsHeap {
 	return &adjustHeightsHeap{
-		nodesByHeight: make([]map[Identifier]INode, maxHeightAllowed+32),
+		nodesByHeight: make([]map[Identifier]INode, maxHeightAllowed),
 		lookup:        make(set[Identifier]),
 	}
 }
@@ -28,7 +28,7 @@ func (ah *adjustHeightsHeap) len() (out int) {
 }
 
 func (ah *adjustHeightsHeap) maxHeightAllowed() int {
-	return len(ah.nodesByHeight)
+	return len(ah.nodesByHeight) - 1
 }
 
 func (ah *adjustHeightsHeap) remove(node INode) {

bench_test.go

@@ -197,7 +197,7 @@ func benchmarkParallelSize(size int, b *testing.B) {
 
 func benchmarkDepth(width, depth int, b *testing.B) {
 	graph := New(
-		GraphMaxRecomputeHeapHeight(1024),
+		OptGraphMaxHeight(1024),
 	)
 	vars := make([]VarIncr[string], width)
 	for x := 0; x < width; x++ {
@@ -245,7 +245,7 @@ func benchmarkDepth(width, depth int, b *testing.B) {
 func benchmarkNestedBinds(depth int, b *testing.B) {
 	ctx := context.Background()
 	graph := New(
-		GraphMaxRecomputeHeapHeight(1024),
+		OptGraphMaxHeight(1024),
 	)
 	fakeFormula := Var(graph, "fakeFormula")
 	g, o := makeNestedBindGraph(graph, depth, fakeFormula)
@@ -313,7 +313,7 @@ func makeNestedBindGraph(graph *Graph, depth int, fakeFormula VarIncr[string]) (
 func benchmarkConnectedGraphWithNestedBinds(depth int, b *testing.B) {
 	ctx := context.Background()
 	graph := New(
-		GraphMaxRecomputeHeapHeight(1024),
+		OptGraphMaxHeight(1024),
 	)
 	fakeFormula := Var(graph, "fakeFormula")
 	observed := make([]ObserveIncr[*int], depth)

bind_test.go

@@ -1017,7 +1017,7 @@ func Test_Bind_unbindRegression(t *testing.T) {
 func Test_Bind_nested_amplification(t *testing.T) {
 	ctx := testContext()
 	g := New(
-		GraphMaxRecomputeHeapHeight(1024),
+		OptGraphMaxHeight(1024),
 	)
 	depth := 4
 	fakeFormula := Var(g, "fakeFormula")