Function layout 

fn layout<F: PrimeField>(
    curr_row: usize,
    bits: usize,
) -> Vec<Vec<Box<dyn WitnessCell<F>>>>