Fixed SPARK_ASSERT added prens and fixed sense of asssetion in
cc3000_spi.c