Bump s2n commit in Dockerfile

[RyanGlScott]

This bumps the s2n commit to GaloisInc/s2n@7f1017e, which points to the llvm_points_to_bitfield changes that were merged into the upstream s2n-tls repo in aws/s2n-tls#3155.

[RyanGlScott]

@jldodds, this almost works, save for one hiccup: the bike proof is mysteriously halted by the OOM killer:

[16:00:09.097] Verifying find_err2 ...
[16:00:09.220] Simulating find_err2 ...
[16:00:09.221] Registering overrides for `BIKE1_L1_R1_rotate_right`
[16:00:09.222]   variant `Symbol "BIKE1_L1_R1_rotate_right"`
[16:00:09.222] Registering overrides for `bit_slice_full_subtract`
[16:00:09.223]   variant `Symbol "bit_slice_full_subtract"`
[16:00:09.223] Registering overrides for `bit_sliced_adder`
[16:00:09.223]   variant `Symbol "bit_sliced_adder"`
[16:00:09.227] Matching 1 overrides of  BIKE1_L1_R1_rotate_right ...
[16:00:09.299] Branching on 1 override variants of BIKE1_L1_R1_rotate_right ...
[16:00:09.351] Applied override! BIKE1_L1_R1_rotate_right
[16:00:09.351] Matching 1 overrides of  bit_sliced_adder ...
[16:00:09.467] Branching on 1 override variants of bit_sliced_adder ...
[16:00:09.751] Applied override! bit_sliced_adder
<snip>
[16:03:28.633] Matching 1 overrides of  BIKE1_L1_R1_rotate_right ...
[16:03:28.813] Branching on 1 override variants of BIKE1_L1_R1_rotate_right ...
[16:03:28.917] Applied override! BIKE1_L1_R1_rotate_right
[16:03:28.918] Matching 1 overrides of  bit_sliced_adder ...
[16:03:29.662] Branching on 1 override variants of bit_sliced_adder ...
[16:03:30.134] Applied override! bit_sliced_adder
[16:03:30.135] Matching 1 overrides of  BIKE1_L1_R1_rotate_right ...
[16:03:30.296] Branching on 1 override variants of BIKE1_L1_R1_rotate_right ...
[16:03:30.374] Applied override! BIKE1_L1_R1_rotate_right
[16:03:30.376] Matching 1 overrides of  bit_sliced_adder ...
/bin/bash: line 1: 11393 Killed                  saw bike_r1/verify_bike_r1.saw
     11394 Done                    | tee bike_r1/verify_bike_r1.log
make[1]: *** [bike_r1/verify_bike_r1.log] Error 137
make: *** [bike_r1] Error 2
Makefile:119: recipe for target 'bike_r1/verify_bike_r1.log' failed
make[1]: Leaving directory '/saw-script/s2n/tests/saw'
Makefile:115: recipe for target 'bike_r1' failed
make: Leaving directory '/saw-script/s2n/tests/saw'
2
make: *** [bike] Error 2
Makefile:16: recipe for target 'bike' failed
Error: Process completed with exit code 2.

I'm not quite sure how to explain this one. I suppose it's possible that GitHub Actions' memory is too limited to handle bike, but the fact that this worked on an older commit but not now is concerning.

[RyanGlScott]

The timeout for each Docker-related test has recently increased from 60 minutes to 120 minutes. Let's see if that makes a difference here.

[RyanGlScott]

Hm, I'm afraid not. The bike job is killed well below the 120 minute timeout limit, so this strongly suspects that the amount of memory being used exceeds what the CI runner can support.