Ensure `src` libraries in sync with `src/dafny` libraries, deprecate the former

[robin-aws]

The latter is better organized and documented, but we need to give customers at least some time to migrate off the former before we start only adding code to the latter.