Fixed ConcurrentDeque<T> bug
Added conditional contract assertions
Added ICollection implementation