Added missing tests for sparse op infer_shape op and replaced 2 tests that had error and implemetend them with DWF tests systems.

Sparse verify

Fix to 2 blas tests in DebugMode

Remove warning

Removed useless constraint

Lop useless restriction
Thanks Pascal .. 

Added name and splited the list into sections in NEWS.txt.

Small updates in NEWS.txt

Compiler

Better error message if problem in givens

Fix max'd error in EquilibriumOptimizer with constant folding

Now constant folding does not bust it anymore.

It used to wait for the first attempt to apply an optimization
after it has already crossed the threshold.
Now, it signals that the optimizer should stop earlier, just after
crossing that threshold.

This is needed as we changed the signature of some function and thus we should force the recompilation of all gpu op.

It seam more logical to associate it with the compiler then the Type. This also make cuda_ndarray.cu compiled with it.

make {nvcc,gcc}_module_compile_str a class with another function compile_args that get added in the keys.

Instead of using current size of the graph, use the size the graph had
at its largest. This enables optimizations like constant-folding to
reduce greatly the total number of nodes in the graph without triggering
an error.