What are technical problems to make this GPU accelerated proving work on 4GB card? It will be nice for developers to try out things on low end GPUs.