use Python's native @deprecated decorator

[dlyongemallo]

Starting in Python 3.13, there will be a native @deprecated decorator. This should be used instead of merely printing deprecation warnings (using print), as such usages can be caught by automation tools.

[jvdwetering]

It's good to have this on record, but I'm assuming we will only start assuming a basic version of Python 3.13 several years from now.