Added the "strict_sequence" tag

This means that in "fn;", fn must have type unit. Before, it was just a
warning (and not always detected).
Fixed race condition in unit-test