colorize used/unused opcodes

unused opcodes are displayed in gray
fix: listing now uses opcode map
display opcode frequency statistics
minor design fix