Enable BOLT optimizations for Python 3.13

[zanieb]

These were disabled in #319 due to a segmentation fault when running profiling with the instrumented binaries. Needs more investigation, but we should eventually enable this again.