Interactive SNARK Verification on Bitcoin using BitVMX