Fixes to issues identified by Coverity.

Previously there was a comment "NVCC cyclic SEQAN_HOST_DEVICE problem". I would have to check wether this problem has been fixed in recent nvcc versions...