README: instructions for testing with tiny-sc