Rtl.BlackboxControl blackbox generation. None implies blackboxes are not used. Top means the circuit will be turned into a blackbox. Instantiations means that the top level circuit will be written as normal, but submodules will be written as blackboxes.
val sexp_of_t : t -> Sexplib0.Sexp.t