Translations and a few tweaks

dbg now shows debug state
changed method for verifier. use only numbers
added translations
added language portuguese