Made slice constructors a little saner.

Debug builds: validate parameters before use. Removed dependency on
strlen().
Documented strange assertion failure in slice contructor.
Added more functionality to xref_table.