Agda: upgrade stdlib to 0.8, change defaults to latest version