added section on testing native binaries to design spec