Major Section: SERIALIZE
General form:
 (serialize-read filename
                 [:hons-mode {:always, :never, :smart}]   ; :smart by default
                 [:verbosep  {t, nil}])                   ; nil by default
  -->
 (mv obj state)
In the logic this is an oracle read.
Under the hood, we try to read and return a serialized object from a file that
was presumably created by serialize-write.  On success we return the
contents of the file.  Any failures (e.g., file not found, bad file contents,
etc.) will result in a hard Lisp error.
The filename should be a string that gives the path to the file.
The hons-mode controls how whether to use hons or cons to
restore the object.  The default mode is :smart, which means that conses
that were normed at the time of the file's creation should be restored
with hons.  But you can override this and insist that hons is to
:always or :never be used, instead.
Why would you use :never?  If your object previously had a lot of honses,
but you no longer have any need for them to be normed, then using :never
may sometimes be a lot faster since it can avoid hons calls.  On the other
hand, if you are going to hons-copy some part of the file's contents,
then it is likely faster to use :smart or :always instead of first
creating normal conses and then copying them to build honses.
The :verbosep flag just controls whether to print some low-level details
related to timing and memory usage as the file is being read.
 
 