Factor out Util.decrypt_aes128_ecb from Set01::Challenge07