Towards Verifiable FHE in Practice: Proving Correct Execution of TFHE’s Bootstrapping using plonky2