is_deterministic, is_weak, etc should set the property
If is_deterministic() or a similar function discovers that prop_deterministic() equals trival::maybe(), it should update that value after computing it.
We don't care if the input of is_deterministic() is declared as const: setting this property is not really changing the automaton.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information