Add a simple tests for loader.
Add loader.NewProgram.
Associate an ast.Node with each ssa.Value and ssa.Instruction.