Set more Debug.Assert's and add missing Debug.Assert messages