Fixed annotations and added CHECK
Added CHECKs and reordered functions in test
Fixed annotations in tests
Fixed bugs in ClassifiedAnalysis in InfoFlowAnalysis.

We were stripping pointer casts from Value*'s being propagated to
during the dataflow analysis, however, this can break the algorithm
because it means we do not propagate past pointer casts!

Added additional checks in ClassifiedAnalysis to look at the
taint value of value operands of store instructions.

Added CHECKs to the test-secret-struct-backup.c test.