add a trust option to the parser
If the trust option is set (I think it should be the default), the parser should populate the property bits of the automata from the properties specified in HOA files.
I guess tools that reads HOA files should have a --trust-hoa=no
option, allowing to disable this behavior.