Clean up & properly document device index arguments
These are passed as integers, but we should have some more robust way to specify them if possible.
See also James_Research_Group/SpatialOps#1
If we could get the maximum allowable GPU device index we could at least perform a sanity check on the device index.