Make 2023.12 the default version

[asmeurer]

2023.12 is implemented but not the default. I want to wait a little bit to see if people have any issues with it before making it the default. We can probably do this in a couple of weeks or so.

[asmeurer]

This was done in #61