Gun maker stocks are trading like something is different after Florida massacre