pub fn arb_frontier<H: Hashable + Clone + Debug, T: Strategy<Value = H>, const DEPTH: u8>(
    min_size: usize,
    arb_node: T
) -> impl Strategy<Value = Frontier<H, DEPTH>>