enabled default effects for Pure (Tot), Exn (Ex), All (ML)
quicksort, in progress
qs.fst: a verified implementation of quicksort