Update DEVELOPMENT.md for Show instance
Clarify DEVELOPMENT.md: GHCi is not needed & misc

On suggestion by Tillmann.