NO. Lo shift a destra non è rotatorio. Lo shift non viene applicato alla stessa variabile ma il risultato viene copiato in aVal. E' come se tu scrivessi
unsigned valoreRitorno = value >> 8;
questa equivale a
unsigned valoreRitorno = value / (2^8);
ovvero
unsigned valoreRitorno = value / (256);
quindi il risultato dello shift è
00000000 00000000 00000000 01100001.
il bitset prende i x numeri meno significativi si, ma anche se li predesse tutti l'operazione
value >> 8 da un nuovo numero che non viene assegnato a value (quindi nessuna rotazione)