Fixed bug in attribute release specification and added support for displaying revealed attributes to verifier cmd-line app