Add initial PropTest.ino