Killn outdated comments about invariants for devices
Killed all the device code because it's going to be easier to rewrite