No vertices:
[ 0-by-2 ]
1 vertex:
[        0        1 ]
4 vertices, disconnected, not actually bipartite, with loops and multiple edges:
[        0        1
         1        0
         1        1
         2        0 ]
10 vertices bipartite graph:
[        1        1
         2        1
         0        1
         3        1
         4        1
         0        0
         2        0
         1        0
         3        0
         5        0 ]
10 vertices bipartite graph, no iterations:
[     -0.5        1
         1        1
         2        1
         3        1
         4        1
         0        0
         1        0
         2        0
         3        0
         5        0 ]
4 vertices with -10 true values for types:
[        0        1
         0        0
         1        1
         1        0 ]
4 vertices, negative vgaps:
[        0       -1
         0        0
         1       -1
         1        0 ]
4 vertices, negative hgaps, emits error.
