Implementation notes: - Let's keep the `datacrunch` backend but mark it as deprecated, and introduce `verda` as another class inherited from the `datacrunch` backend class. - In the docs, we only include `verda` - In gpuhunt, we simply rename the `datacrunch` provider to `verda`