Add basic tests for non-reentrant locks