Support resolving the CUDA version to another compatible version

E.g. if a system uses Torch build with CUDA 12.9, but we only have 12.6, 12.8, and 13.0 builds, we should resolve to 12.8. That is if the CUDA version is x.y, we find the build with the largest version x.z, such that z <= y.