Update dense hll spec to reflect latest code