binary serializer (v1) does not correctly handle parametric symbols

[dwightguth]

The problem is associated with emit_symbol in runtime/util/ConfigurationSerializer.cpp. It does not correctly handle the case where the symbol it is passed has sort parameters. It needs to detect this case and serialize the correct sequence of bytes corresponding to those parameters, ideally without having to reparse the symbol name every time it's called.