Partial-Order Correctness-Preserving Properties of Delay-Insensitive Circuits