OpenCL: Further auto-tune tweaks (and driver bug workarounds) for good
speedups in many cases. In particular, we now work around a hideous AMD
profiling bug that stopped us from tuning correctly (we picked far too
low workgroup sizes).
Enable descrypt-opencl. See #899