Update tests for s2e_print_expression ABI change

s2e_print_expression has been recently changed to use r2 for the
label address, breaking backward compatibility.
See https://github.com/eurecom-s3/s2e/commit/97248655e82b08b46019b128638d1af327e4ffd6#commitcomment-4724568