Update of #104 with main merged to fix libchallenge_bypass_ristretto_ffi-related build problems and CircleCI caching configuration fixes