Buffer argument of uint to bytes conversion functions

[gabrielbosio]

If we run

uint8_t *a = u64_to_le_bytes(value, b);

We will have a and b pointing to the same memory cell. If *a changes, *b will change too.

Besides changing this, we might also change the buffer_bytes type to uint8_t[8] since it will communicate better what the function expects.