Pode-se considerar que os elementos numa fatia em Go já estão ordenados por ordem crescente ou decrescente?

Não, os elementos em um slice em Go não são garantidos para estar ordenados nem por ordem crescente nem decrescente. Um slice é simplesmente um array dinâmico que armazena os elementos na ordem em que são adicionados ou modificados.

Se for necessário ordenar um slice, deve-se explicitamente chamar as funções de ordenação do pacote sort, por exemplo:

import (
    "fmt"
    "sort"
)

func main() {
    nums := []int{5, 3, 8, 1}
    sort.Ints(nums) // ordena o slice em ordem crescente
    fmt.Println(nums) // [1 3 5 8]
}

Sem essa ordenação, a ordem dos elementos depende da lógica do programa e não é ordenada.