Verification and the BWC: Last Gasp or Signs of Life?