Remove TODO comment and add a few other explaining comments

src/analyses/memOutOfBounds.ml

@@ -1,18 +1,25 @@
+(** An analysis for the detection of out-of-bounds memory accesses ([memOutOfBounds]).*)
+
 open GoblintCil
 open Analyses
 open MessageCategory
 
 module AS = AnalysisState
 module VDQ = ValueDomainQueries
 
+(*
+  Note:
+  * This functionality is implemented as an analysis solely for the sake of maintaining
+    separation of concerns, as well as for having the ablility to conveniently turn it on or off
+  * It doesn't track any internal state
+*)
 module Spec =
 struct
   include Analyses.IdentitySpec
 
   module D = Lattice.Unit
   module C = D
 
-  (* TODO: Check out later for benchmarking *)
   let context _ _ = ()
 
   let name () = "memOutOfBounds"