Recent Developments in Negation-Limited Circuit Complexity Theory