Assert-like extension nodes that raise useful errors on failure.