Manually added states should always be changeable

[Joshua Schmidt]

States that have been added manually should be changeable if even they are already validated. After changing the validation should be set to default "tentative".
States from the model checker should be immutable though.