Make sure VALGRIND_STACK_REGISTER() is called with the right length

Pointer arithmetic with void* pointers is undefined. Cast it to char*.
Update TODO list