Implement device verification

[TobiasFella]

Implements device verification using the to-device channel

The branch also contains the commits from #540 since it's easier for me to develop that way; only the last commit is relevant here though and it reviewing it only makes sense after #540 has been merged.