Cross-check random_seed_core when reading input files

This fixes #105 (closed) - while there it is suggested to directly set the respective value, this is not possible as in module initialization (when we know about the value in the file) we are already much too late to alter the value. Thus, throwing InvalidValueError seems appropriate.