Ensure dependency graph can be reasoned about statically

• Check that no assignments are generated that are not covered by the assignees attribute of an instruction (including for futures)
• Maybe statically declare that certain assignments will be made via a future.

mentioned in commit 2b7122d0