floci vs kani

Compare floci and kani using verifiable public signals, licensing and project quality.